Klein-Beltrami Model. Part II
نویسندگان
چکیده
منابع مشابه
Model Checking. Part II
(Def. 1) CastNatx = { x, if x is a natural number, 0, otherwise. Let W1 be a set. A sequence of W1 is a function from N into W1. For simplicity, we use the following convention: k, n denote natural numbers, a denotes a set, D, S denote non empty sets, and p, q denote finite sequences of elements of N. Let us consider n. The functor atom. n yields a finite sequence of elements of N and is define...
متن کاملMammography; Part II
From the Book of Mammography by Dr. Zabihollah Arnavaz - Head of Radiology Department of Jorjani Hospital of National University of Iran.
متن کاملSheafifiable Homotopy Model Categories, Part Ii
If a Quillen model category is defined via a suitable right adjoint over a sheafifiable homotopy model category (in the sense of part I of this paper), it is sheafifiable as well; that is, it gives rise to a functor from the category of topoi and geometric morphisms to Quillen model categories and Quillen adjunctions. This is chiefly useful in dealing with homotopy theories of algebraic structu...
متن کاملOn Beltrami Model of de Sitter Spacetime
Han-Ying Guo, Chao-Guang Huang, Zhan Xu, and Bin Zhou 1 CCAST (World Laboratory), P.O. Box 8730, Beijing 100080, China, 2 Institute of Theoretical Physics, Chinese Academy of Sciences, P.O.Box 2735, Beijing 100080, China, 3 Institute of High Energy Physics, Chinese Academy of Sciences, P.O. Box 918-4, Beijing 100039, China, and 4 Physics Department, Tsinghua University, Beijing 100084, China, (...
متن کاملRobot Motion Vision Part II: Implementation
The idea of Fixation introduced a direct method for general recovery of shape and motion from images without using either feature correspondence or optical flow [1,2]. There are some parameters which have important effects on the performance of fixation method. However, the theory of fixation does not say anything about the autonomous and correct choice of those parameters. This paper presents ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2018
ISSN: 1898-9934,1426-2630
DOI: 10.2478/forma-2018-0004